Abstract data types - PDFSEARCH.IO - Document Search Engine

Abstract data types
Results: 538

#	Item
271	4 Static Inverted Indices In this chapter we describe a set of index structures that are suitable for supporting search queries of the type outlined in Chapter 2. We restrict ourselves to the case of static text collect Add to Reading List Source URL: www.ir.uwaterloo.ca Language: English - Date: 2010-01-22 03:41:41 Information Data types Abstract data types Data management Associative arrays Inverted index Search engine indexing Hash table Trie Computing Information science Search algorithms
272	Static Detection of Dynamic Memory Errors David Evans [removed] MIT Laboratory for Computer Science Abstract Add to Reading List Source URL: www.cs.virginia.edu Language: English - Date: 1999-11-19 15:49:06 C++ Data types Primitive types C programming language Pointer C Reference Null Linked list Software engineering Computing Computer programming
273	TIE: Principled Reverse Engineering of Types in Binary Programs JongHyup Lee, Thanassis Avgerinos, and David Brumley Carnegie Mellon University {jonglee, thanassis, dbrumley}@cmu.edu Abstract Add to Reading List Source URL: users.ece.cmu.edu Language: English - Date: 2010-12-04 12:52:17 Computing Programming language theory Decompiler Type system Type inference Subtype polymorphism MOV Pointer Assembly language Software engineering Type theory Data types
274	Microsoft Word - SOPs Peak Periods 2008 Add to Reading List Source URL: www.nhm.ac.uk Language: English - Date: 2012-08-23 08:04:46 Rooms Sociology Tourism Monitor Queue Museum Architecture Visual arts Abstract data types Grade I listed buildings in London Queue area
275	LCLint: A Tool for Using Specifications to Check Code David Evans, John Guttag, James Horning, and Yang Meng Tan Abstract This paper describes LCLint, an efficient and flexible tool that accepts as input programs (writt Add to Reading List Source URL: www.cs.virginia.edu Language: English - Date: 1999-12-09 17:40:10 C++ Procedural programming languages Data types Type theory C programming language ALGOL 68 Typedef D Nm Computing Software engineering Computer programming
276	UNO: Static Source Code Checking for User-Defined Properties 1 Gerard J. Holzmann Bell Laboratories Murray Hill, New Jersey[removed]ABSTRACT Add to Reading List Source URL: www.spinroot.com Language: English - Date: 2008-06-30 15:34:28 Data types Cross-platform software Procedural programming languages Type theory Pointer Main function C Static single assignment form Dataflow Software engineering Computing Computer programming
277	© Bjarne Stroustrup[removed]Added to Japanese translation of D&E C++ in 2005 “Living languages must change, Add to Reading List Source URL: ptgmedia.pearsoncmg.com Language: English - Date: 2009-06-09 13:29:37 C++ Standard Library Generic programming C++ Abstract data types Object-oriented programming Standard Template Library Iterator Sequence container Associative containers Computing Software engineering Computer programming
278	Extracted from: Programming Ruby The Pragmatic Programmers’ Guide Second Edition Add to Reading List Source URL: media.pragprog.com Language: English - Date: 2007-10-31 17:37:53 Data types Abstract data types Functional programming Scripting languages Search algorithms Ruby Iterator List Array data type Computing Software engineering Computer programming
279	Dependent Type Providers David Raymond Christiansen IT University of Copenhagen [removed] Abstract Add to Reading List Source URL: itu.dk Language: English - Date: 2013-07-29 03:28:29 Computing Data types Functional languages Object-oriented programming Functional programming Type system Generalized algebraic data type Agda Dependent type Software engineering Type theory Programming language theory
280	Wrapping Fortran libraries Arjen Markus [removed] May 2010 Abstract Add to Reading List Source URL: www.tcl.tk Language: English - Date: 2014-01-03 01:36:04 Procedural programming languages Scripting languages Cross-platform software Data types Array programming languages Fortran LAPACK Tcl Array programming Computing Software engineering Computer programming

UPDATE